Apresentaremos as possíveis aplicações pedagógicas das suas reflexões, como a utilização da imprecisão científica de Heisenberg e da concepção de técnica em Heidegger, a partir da análise histórico-filosófica dos seus escritos, tomando-os como fundamentação a necessária e significativa melhoria da educação técnico-científica.

O artigo aborda o tema da Inteligência Artificial (IA) e seu papel na sustentabilidade econômica e social em diversas fases. Inicialmente, realiza uma revisão bibliográfica extensiva para estabelecer um marco teórico, identificando estudos anteriores que exploram a relação entre IA, emprego e sustentabilidade. Em seguida, adota uma abordagem qualitativa para analisar como a IA influencia a dinâmica do mercado de trabalho, focando em desafios como desemprego tecnológico e oportunidades para novas formas de empregabilidade. Baseando-se na teoria da Sociedade de Risco (...) de Ulrich Beck e imbuído do otimismo racional de Matt Ridley, a pesquisa discute os riscos, com ênfase no desemprego decorrente da automação gerada pela IA, seus benefícios e possíveis elementos enfrentadores e mitigadores, sejam jurídicos, regulatórios, políticos ou empresariais. As conclusões enfatizam o potencial da IA em promover o desenvolvimento sustentável, mitigando riscos como o desemprego tecnológico, desde que haja um esforço conjunto entre governos, setor privado e a sociedade. (shrink)

RESUMO Este artigo objetiva tratar do sentido de contexto em obras de Bakhtin e o Círculo. O corpus de pesquisa são as edições das obras assinadas por Volóchinov, Bakhtin e Medviédev publicadas no Brasil. Partimos de uma imagem recorrente sobre um espaço de criação e cocriação na produção de sentidos, identificado como comunicação discursiva, sígnica, cultural ou artística. Os resultados demonstram quatro tipos de contextos: o contexto do enunciado na comunicação discursiva cujas fronteiras são locutor e interlocutor; o contexto único (...) e singular na comunicação sígnica tendo como fronteiras a compreensão ativa e a entonação avaliativa; o contexto estético presente na comunicação artística cujas fronteiras são a relação entre autor e contemplador de uma obra de arte, autor e personagens no romance e herói lírico e seu outro na poesia; e o contexto extraverbal na comunicação cultural cujas fronteiras são um ‘eu-nós’ e o acontecimento da existência. ABSTRACT This article aims to discuss the meaning of context in the works of Bakhtin and the Circle. The research corpus consists of works signed by Vološinov, Bakhtin and Medvedev published in Brazil. We set an image related to a space of creation and cocreation where discursive, ideological, cultural or artistic modes of communication exist. Results show four types of contexts: the context of the utterance in the speech communication mode of which borders are locutor and interlocutor; the unique and singular context in semiotic communication mode of which borders are active comprehension and evaluative intonation; the aesthetic context in the artistic communication mode of which borders are author and contemplator in a work of art, author and characters in the novel and lyric hero and his/her other in poetry; and the extraverbal context in the cultural communication mode of which borders are a “I-we” and the event of Being. (shrink)

ABSTRACT This work proposes reflections on possible meanings constructed in the circulation of discourses that refer to the meaning of the term ‘competence,’ present in official documents that regulate the performance of Tilsp (Tradutores e Intérpretes de Libras e Português [Translators and Interpreters of Libras and Portuguese]). We start from the assumption that the meanings of a word are not completely static, but shift depending on the concrete situation and the interlocutors who use it. As a methodology, excerpts from official (...) documents that regulate Tilsp’s activities were analyzed. By surveying possible interlocutors brought into the documents, we were able to verify that the meaning of ‘competence’ slowly shifts as the documents are produced in their respective times. Firstly, the use of the term points to a hierarchy, later, this meaning undergoes another shift towards the construction and delimitation of Tilsp’s professional work field. Finally, ‘competence’ moves to the labor market in the relationship between supplier and customer. (shrink)

Purpose: This study aimed to develop a stroke effectiveness test in table tennis based on the temporal game structure to assess the ball speed and ball placement of the players, with a purpose to analyze its reproducibility and validity. Methods: Nineteen male table tennis players participated in this study. The test was performed twice during the first session and once during the second session to assess the intrasession and intersession reproducibility, respectively. Moreover, the test was examined on its ability to (...) discriminate between regional and local performance-level players and on the relationship between the test results and the table tennis performance to assess the discriminant and concurrent validity, respectively. In general, the test consisted of 11 simulated rallies of 2–5 balls with the effort and rest ratio of 0.5, and focused on attack with offensive strokes at defensive balls delivered by a robot randomly between the left and right positions on the table. Results: Ball speed, ball placement, and ball speed-ball placement index showed satisfactory reliability and agreement outcomes. Additionally, the Bland-Altman plots show the systematic error of the analyses closer to 0, and that most values were within the limits of agreements. Concerning validity analyses, regional players had higher scores of ball placement and ball speed-ball placement index as well as made fewer errors than local players. Moreover, ball placement, ball speed-ball placement index, and percentage error presented a strong and significant correlation with table tennis performance. However, ball speed was slightly different between the regional than local players and this variable was not related to table tennis performance. Conclusion: Our findings show evidences that the test is reproducible. Moreover, discriminant and concurrent validity are confirmed for ball placement and ball speed-ball placement index. (shrink)

RESUMO Em diversas obras do Círculo (Bakhtin, Volóchinov, Medviédev), a referência a Saussure e/ou às especificidades da Linguística, enquanto ciência da língua, pode ser encontrada em diálogo, mais ou menos polêmico, entre pensadores e tendências epistemológicas, teóricas e metodológicas que propõem diferentes abordagens para a complexidade representada pela linguagem humana e, consequentemente, para seu estudo. Neste artigo, o objetivo é circunscrever e discutir a presença da Linguística, enquanto ciência da língua instaurada por Saussure, nos escritos de Mikhail Bakhtin. Após uma (...) introdução, o texto se organiza em três seções, que tratam (1) de uma forte presença de Saussure nos escritos do Círculo; (2) do diálogo de Bakhtin com a ciência na unidade da cultura; (3) do diálogo com a ciência linguística da escola de Genebra em “O problema do conteúdo, do material e da forma”; e, finalmente, de considerações inconclusas, mas necessárias. Destacam-se importantes momentos-chave de reflexão em textos assinados por Bakhtin, em que Saussure (ainda que não nomeado, mas designado pela ciência por ele estabelecida) merece destaque, como contraponto científico-filosófico necessário para a constituição de outra possibilidade de compreensão e estudo da linguagem: a perspectiva dialógica. Como resultado, espera-se demonstrar que, desde os anos 1920, o diálogo Bakhtin/Saussure se estabelece, para distinguir e qualificar duas formas complementares de compreensão da linguagem e do lugar da ciência na unidade da cultura. (shrink)

Although there is broad support in the current Brazilian legislation and many curricular documents published in the last three decades, we still face the challenge of the inclusive education in our classrooms. This is a qualitative research in which we investigate the perception of three school pedagogical coordinators about the inclusion of disabled children in regular classes of Elementary and High School of the schools that self-declared favorable to the Inclusive Education. The results suggest perceptions of Inclusive Education with specific (...) goal to comply with current legislation, which aims exclusively at the socialization of the disabled as a target of charity, without great teaching learning goals that allow equal access to school knowledge and continuity of study in the educational system. (shrink)

De natureza qualitativo-interpretativista, nosso estudo objetiva relacionar a educação linguística crítico-decolonial, bem como nossas experiências de vida e formação com as praxiologias freirianas. Redigimos narrativas autobiográficas a partir do questionamento: Como se deu seu primeiro encontro com a práxis freiriana? Produzimos, ainda, uma narrativa biográfica de Paulo, em bricolagem, com dados encontrados em cinco de suas obras. Como resultado de nossos esforços, acreditamos que este texto fortaleceu nosso sonho de vivenciar uma educação pública de qualidade, que encoraje mais sujeitos (...) na luta em defesa dos/as oprimidos/as pela raça, gênero e condição social. (shrink)

No presente ensaio, discute-se o impacto do negacionismo na Educação escolar. Essa ideologia é baseada em falsos argumentos, cujos protagonistas negam evidências cientificamente comprovadas, como forma de fortalecer seus anseios pelo poder. A narrativa negacionista atinge pessoas que aceitam acriticamente e replicam esses argumentos como se fossem verdades absolutas. Um dos resultados da disseminação e aceitação dessa ideologia é o estímulo a ações extremistas, como vimos acontecer recentemente no Brasil. A negação fomenta intencionalmente os analfabetismos histórico, social e científico. As (...) pessoas "contaminadas" por essa ideologia extremista ignoram os argumentos lógicos e permanecem alheias ao avanço da Ciência. Acreditam em disparates, como o chamado “terraplanismo”; são disseminadores de informações falsas; promovem “cruzadas” antivacinação; defendem o uso de medicamentos ineficazes; e fomentam o descrédito da democracia. As ideias de Paulo Freire, que estimulam o cultivo do pensamento crítico e emancipatório, é o aporte teóricometodológico que norteia este ensaio, contextualizado na prática docente dos autores, que consideram a Educação como uma prática de liberdade. (shrink)

ABSTRACT In several works by the Circle (Bakhtin, Vološinov, Medvedev), the reference to Saussure and/or the specificities of Linguistics, as a science of language, can be found in a dialogue, more or less controversial, between thinkers and epistemological, theoretical and methodological trends that propose different approaches to the complexity represented by human language and, consequently, to its study. In this article, the objective is to circumscribe and discuss the presence of Linguistics, as a science of language established by Saussure, in (...) the writings of Mikhail Bakhtin. After an introduction, the text is organized into three sections, which deal with (1) Saussure’s strong presence in the Circle’s writings; (2) Bakhtin’s dialogue with science in the unity of culture; (3) the dialogue with the linguistic science of the Geneva school in “PCMF”; and, finally, of inconclusive but necessary considerations. Important key moments of reflection stand out in texts signed by Bakhtin, in which Saussure (although not named, but designated by the science he established) deserves to be highlighted, as a necessary scientific-philosophical counterpoint for the constitution of another possibility of understanding and study of language: the dialogical perspective. As a result, it is expected to demonstrate that, since the 1920s, the Bakhtin/Saussure dialogue has been established to distinguish and qualify two complementary ways of understanding language and the place of science in the unity of culture. (shrink)

Lean is a new open source theorem prover being developed at Microsoft Research and Carnegie Mellon University, with a small trusted kernel based on dependent type theory. It aims to bridge the gap between interactive and automated theorem proving, by situating automated tools and methods in a framework that supports user interaction and the construction of fully specified axiomatic proofs. Lean is an ongoing and long-term effort, but it already provides many useful components, integrated development environments, and a rich API (...) which can be used to embed it into other systems. It is currently being used to formalize category theory, homotopy type theory, and abstract algebra. We describe the project goals, system architecture, and main features, and we discuss applications and continuing work. (shrink)

Timothy Williamson has brought valuable contributions to the understanding of the relationship between vagueness and knowledge. The philosopher argues that for a belief in a vague proposition to be considered knowledge, it is essential that it is not too close to indefinite conceptual boundaries. Williamson warns that even true beliefs can be merely coincidentally true if there is not an adequate margin of safety against error. Williamson argues that in sorites situations, problems extend beyond semantics to encompass epistemic issues. The (...) author concludes that true beliefs, when too close to vague boundaries, are essentially true by chance, rendering them unsuitable for being considered knowledge. However, it is emphasized that vagueness is not a universal boundary and recognizes the existence of vague terms with relative and absolute boundary cases. While the former have uncertain application due to the lack of decisive methods for their use, the latter face an inherent incompleteness in the question. In summary, we will explore the essence of Williamson's argument, using simple and everyday examples to unravel the complexities of the relationship between vagueness and knowledge. (shrink)

Husserlian phenomenology has been interpreted as a method of knowledge that can be applied to different domains and which would compete with other methods to give us a better understanding of the “real”, the “man” or “society”. Moreover, “phenomenological idealism” has been presented as an “ontological” or “metaphysical” thesis, in the pre-critical sense of the term. The goal of this study is to suggest that these two theses imply the tacit identification of the natural attitude and the phenomenological one, avoiding (...) the difference between the objects to which these attitudes relate. Therefore, a phenomenological truth does not anticipate any opinion about the “world”. (shrink)

Husserl places “around 1898” the introduction of the notion of ‘ phenomenon’ in his philosophy. If one of the tasks of the history of philosophy is to circumscribe the problems which originated the creation of a new concept in some doctrine, the purpose of this paper is to investigate what difficulties had roused the invention of the idea of ‘phenomenon” in the husserlian philosophy.

Normal 0 21 false false false MicrosoftInternetExplorer4 Este trabalho objetiva assinalar as pressões sociais e os valores culturais que participam do processo de construção das identidades brasileiras na sociedade hipermoderna das grandes cidades por meio da análise de um representante dela, que é o universo publicitário. Irei descrever alguns dos resultados encontrados em minha tese de doutorado (2007) em que, ao analisar as estratégias emocionais de persuasão publicitá­rias mais utilizadas nas revistas de maior circulação do país, levantei os conteúdos ideológicos (...) empregados nesses anúncios e, neste momento quero refletir sobre os possíveis modos de convivência social promovi­dos pelas identidades que são ressaltadas. Os meios de comunicação social são fonte de influência e manutenção de modos de viver, logo representam material rico de reflexão para se compreender os impasses dos relacionamentos sociais contemporâneos. Palavras-chave: identidade, publicidade, sociedade, hipermodernidade. (shrink)

Este artigo tem como objetivo principal investigar a relação existente entre a percepção da felicidade dos brasileiros, sua satisfação com a vida e a satisfação com o regime democrático no período de 2017 a 2020. Nossa hipótese de trabalho postula que o declínio da felicidade e da satisfação com a vida, de uma forma geral, guarda relação de associação com a satisfação com a democracia e suas instituições. Assim, o artigo sugere que felicidade e democracia no Brasil são duas variáveis (...) associadas que ajudam a explicar em parte as fragilidades de nosso regime democrático e devem ser foco de atenção de nossas políticas públicas. A base empírica deste artigo é a sétima onda da Pesquisa Mundial de Valores (WVS, 2017-2020), por meio de pesquisa quantitativa, tipo survey, que utilizaremos para demonstrar nosso argumento. (shrink)

Compreender a violência na sociedade contemporânea requer o mapeamento dos fatores geradores de atos violentos bem como sua prevenção por meio de políticas públicas e de processos educacionais. Este artigo traz algumas reflexões sobre a racionalidade comunicativa e a violência escolar no contexto da crescente exclusão social e a crise de horizontes utópicos para a construção da educação e da formação de sujeitos de direitos. A abordagem metodológica está ancorada na perspectiva da análise de conteúdo de Laurence Bardin (2016), do (...) documento ‘Violência escolar e bullying: relatório sobre a situação mundial’, publicado pela Organização das Nações Unidas para a Educação, a Ciência e a Cultura (UNESCO). São analisadas as pretensões de validade das informações e dos dados considerados relevantes por meio da elaboração de dois eixos principais para analisar a violência escolar apresentada no relatório: a) definições e amparos legais; b) impactos e principais desafios sobre a violência escolar e o bullying. Nessa perspectiva, recorreremos à Racionalidade Comunicativa, ponto central da Teoria do Agir Comunicativo, de Jürgen Habermas, para refletir sobre os achados e saber quais as bases consideradas relevantes para se construir uma educação para a paz alicerçada no diálogo e no entendimento. (shrink)

O artigo visa discutir o papel que a obra de John Rawls possui para o projeto teórico de Rainer Forst. Trata-se de acompanharas principaisleituras que Forst realiza sobre esse autor e discutir algumas consequências que podem ser delas depreendidas para seu modelo crítico. Assim, em primeiro lugar, discute-se a tentativa de Forst em aproximar os critérios de reciprocidade e universalidade, de seu princípio de justificação, à teoria de Rawls, ao mesmo tempo em que acusa Rawls de que sua configuração da (...) posição original atribui conteúdos substantivos aos princípios de justiça, que, na verdade, só poderiam ser concebidos comoum princípio fundamental de justificação (I). Em seguida, observa-se a leitura que Forst realiza sobre o debate entre Habermas e Rawls, a fim de extrair uma alternativa a ambos. Novamente Forst faz um movimento de aproximação e crítica a Rawls (II). Em um terceiro momento, examina-se outra tentativa de aproximação e superação à obra de Rawls, mas dessa vezatravés da distinção entre duas imagens da justiça(III). Por fim, o artigo apresenta duas interpretações gerais sobe essas leituras: que existem certas constantes nos argumentos que unem e que pretendem superar Rawls; e que contém possíveis problemas,com consequências que ocasionam certos entraves para sua teoriaem sua pretensão de ser crítica. (shrink)

O objetivo deste artigo é discutir a noção humiana de "crença", frequentemente vita como adendo "psicológico" à correta doutrina epistemológica do autor. Tenta-se sugerir que são partilha das obsessões da epistemologia contemporânea.

To be usable in practice, interactive theorem provers need to provide convenient and efficient means of writing expressions, definitions, and proofs. This involves inferring information that is often left implicit in an ordinary mathematical text, and resolving ambiguities in mathematical expressions. We refer to the process of passing from a quasi-formal and partially-specified expression to a completely precise formal one as elaboration. We describe an elaboration algorithm for dependent type theory that has been implemented in the Lean theorem prover. Lean’s (...) elaborator supports higher-order unification, type class inference, ad hoc overloading, insertion of coercions, the use of tactics, and the computational reduction of terms. The interactions between these components are subtle and complex, and the elaboration algorithm has been carefully designed to balance efficiency and usability. We describe the central design goals, and the means by which they are achieved. (shrink)

Mapeando brevemente alguns eventos desencadeados pelo período denominado, por alguns cientistas, como Antropoceno, este estudo busca estabelecer um observatório deste período através da ótica do campo das artes, do cinema e da filosofia. Pretende-se compreender como práticas artísticas podem ser concebidas de forma a sublinhar as incoerências referentes à intervenção humana no sistema e na atmosfera terrestre. Para tal, este estudo recruta trabalhos de artistas como Alice Miceli, Andrei Tarkovsky e Jacob Kirkegaard, em suas potencialidades de prevenção, educação e crítica (...) em relação a distintas implicações relacionadas ao desastre nuclear de Chernobyl. Assim, é compreendida a possibilidade de trabalhos de arte em atuar como revisita histórica e análise geo-histórica, bem como meios de potencializar críticas às injustiças provocadas pelo Antropoceno.Palavras-chave: Arte contemporânea; Antropoceno; Energia nuclear; Justiça Climática. (shrink)

Primeiramente fazemos uma breve discussão sobre a concepção defendida por Gramsci acerca do que caracteriza um intelectual, bem como sua função social nas distintas formações sociais, como desdobramento de tal reflexão do autor sardo, apresentamos sua conhecida distinção, operada no “Caderno 12”, entre os „intelectuais tradicionais‟ e os „intelectuais orgânicos‟ destacando sua práxis social. Por fim, valendo-nos dos escritos do autor no “Caderno 13”, ressaltamos a importância do intelectual orgânico na constituição do partido revolucionário.First we give a brief discussion about (...) the concept advocated by Gramsci about what characterizes an intellectual as well as its social function in different social formations, as a consequence of such a reflection of the author Sardinian, presented his famous distinction, operated in the "Notebook 12" between the 'traditional intellectuals' and 'organic intellectuals' highlighting its social praxis. Finally, drawing upon the writings of the author in "Notebook 13", highlight the importance of the organic intellectual in the constitution of the revolutionary party. (shrink)

We generalize a previous result about dynamically consistent menu preferences to the case where preferences are not necessarily complete. We show that, as it is the case when preferences are complete, a subjective state space version of dynamic consistency is linked to a comparative theory of preference for flexibility. In words, an objective signal is interpreted as an event in the agent’s subjective state space and the agent acts in a dynamically consistent way after that if and only if we (...) can attribute all the differences between the agent’s preferences before and after the signal to the fact that the agent values flexibility more before the signal than after. (shrink)

A presente dissertação tem como objetivo principal estudar as relações entre a depressão moderada a grave e a religiosidade nos sujeitos da contemporaneidade. Para isso, foram entrevistados e colhidos dados de onze pacientes através de instrumentos padronizados e validados de pesquisa. O nível de depressão também foi medido 60 a 90 dias depois, para se fazer correlações com o nível de melhora da depressão e o nível de religiosidade intrínseca. Os resultados mostraram que maior nível de envolvimento religioso medido pela (...) escala de religiosidade intrínseca não esteve implicado em maior melhora da depressão, nem em piora. Porém, constatou-se que maior nível de envolvimento religioso foi associado a menores níveis de depressão no início do estudo, de forma significativa. A partir de alguns referenciais da psicologia da religião, conclui-se que a religiosidade possui pouco ou nenhum efeito na melhora de pessoas com depressão moderada a grave. Entende-se que isso ocorre porque a religiosidade perdeu muito de sua força na contemporaneidade, além de fatores biológicos e psicológicos que tornam a depressão, depois que atinge certa gravidade, imune aos efeitos da religião. No entanto, como os sujeitos mais religiosos tenderam a ter menores níveis de depressão no início do estudo, conclui-se que se a religião não melhora pelo menos ela tem um efeito atenuante no surgimento do quadro, que se não fosse a religiosidade seria bem mais grave. Assim, a religiosidade de fato proporcionou aos sujeitos uma maneira eficaz de diminuir os sintomas depressivos, através do enfrentamento do estresse e fazendo com que a experiência depressiva tenha algum significado no crescimento espiritual do sujeito, através da sua ressignificação. Termina-se enfatizando a dimensão do cuidado espiritual, que poderá trazer mais qualidade no atendimento dos profissionais de saúde. (shrink)

We present the system SUBSEXPL used for simulating and comparing explicit substitutions calculi. The system allows the manipulation of expressions of the λ-calculus and of three different styles of explicit substitutions: the λσ, the λse and the suspension calculus. A variation of the suspension calculus, which allows for combination of steps of β-contraction is included too. Implementations of the η-reduction are provided for each style. Other explicit substitutions calculi can be easily incorporated into the system due to its modular structure. (...) The uses of the system include: the visualization of the contractions of the λ-calculus in de Bruijn notation, and of guided one-step reductions as well as normalization via each of the associated substitution calculi. Many useful facilities are included: reductions can be easily recorded as text files, LATEX outputs can be generated and several examples for dealing with arithmetic operations and computational operators such as conditionals and repetitions in the λ-calculus are available. The system can be executed over Emacs using the x-symbol mode in such a way that λ-terms and terms of the explicit substitutions calculi are represented in its natural syntax avoiding the necessity of repeatedly generating LATEX outputs. The system has been of great help for systematically comparing explicit substitutions calculi, as well as for understanding properties of explicit substitutions such as the Preservation of Strong Normalization. In addition, it has been used for teaching basic properties of the λ-calculus such as: computational adequacy, the usefulness of de Bruijn's notation and of making explicit substitutions in real implementations. (shrink)